You are here: irt.org | FOLDOC | backward chaining
<algorithm> An algorithm for proving a goal by recursively breaking it down into sub-goals and trying to prove these until facts are reached. Facts are goals with no sub-goals which are therefore always true. Backward training is the program execution mechanism used by most logic programming language like Prolog.
Opposite: forward chaining.
(2004-01-26)
Nearby terms: Backus-Naur Form « Backus Normal Form « backward analysis « backward chaining » backward combatability » backward compatibility » backward compatible
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL